SubsetQ

SubsetQ[list1,list2] yields True if list2 is a subset of list1, and False otherwise.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.